Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
501	Global semantic constraints: the case of van Benthem’s Problem Summary. Any adjectival theory of numeral modifiers faces a challenge known as van Benthem’s problem, whereby quantifiers like fewer than three give rise Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:11:57 Food and drink Predicate logic Quantification Grammar Italian cuisine Pizza Predicate Distributive property Singular they Linguistics Semantics Logic
502	Two, Many, And Diﬀerently Many Diderik Batens∗ Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-11-07 13:08:11 Non-classical logic Paraconsistent logic Semantics Philosophical logic Many-valued logic Interpretation Valuation Relevance logic Propositional calculus Logic Mathematical logic Model theory
503	Towards Certified Management of Financial Contracts∗ Patrick Bahr, Jost Berthold and Martin Elsman University of Copenhagen Dept. of Computer Science (DIKU) {paba,berthold,mael}@di.ku.dk Add to Reading List Source URL: hiperfit.dk Language: English - Date: 2015-04-10 04:24:17 Denotational semantics Contract law Software engineering Type safety Symbol Forward contract Contract Futures contract Derivative Theoretical computer science Programming language semantics Logic in computer science
504	Believe It or Not: Adding Belief Annotations to Databases Wolfgang Gatterbauer, Magdalena Balazinska, Nodira Khoussainova, and Dan Suciu Department of Computer Science and Engineering, University of Washington, Seattle, Add to Reading List Source URL: www.vldb.org Language: English - Date: 2009-07-27 10:29:02 Philosophical logic Database theory Relational model Binary operations Data management Tuple Finitary relation Stable model semantics Modal logic Logic Mathematics Science
505	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
506	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
507	Run Your Research On the Effectiveness of Lightweight Mechanization Casey Klein1 Matthew Flatt4 John Clements2 Add to Reading List Source URL: eecs.northwestern.edu Language: English - Date: 2011-11-14 12:38:44 Control flow Theoretical computer science Logic in computer science Functional programming Continuations Lambda calculus Robert Bruce Findler Reduction strategy Operational semantics Software engineering Computing Programming language theory
508	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
509	Context made visible: On the structure of quantified noun phrases Kathryn Davidson (Yale) and Deanna Gagne (UConn) Sign languages sometimes make visible aspects of structure that are covert in spoken languages. Here we a Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:12:16 Semantics Finite model theory Syntactic categories Quantification Predicate logic Determiner Interpretation FO Domain Logic Theoretical computer science Linguistics
510	The Concept of ‘Project’: A Proposal for a Unifying Definition Andreas Munk-Madsen Dept. of Computer Science, Aalborg University [removed] Abstract. “Project” is a key concept in IS management. The word is fr Add to Reading List Source URL: www.metodica.dk Language: English - Date: 2006-05-16 16:24:49 Analytic philosophy Semantics Definition Philosophical logic Lexicography Agile software development Project management Concept Time Linguistics Philosophy of language Science

UPDATE